Nuprl Definition : decl-type 11,40
decl-type{i:l}(ds; x) == fpf-cap(ds; id-deq; x; void) 
latex

Definitionsfpf-cap(f; eq; x; z), id-deq, void
FDL editor aliasesdecl-type

origin